S. Feferman, "Arithmetization of metamathematics in a general setting"